high-order logic
[计] 高阶逻辑
热门查询
- calm n. 风平浪静 adj. 静的，平静的；沉着的 vt. 使平静；使镇定 vi. 平静下来；镇定下来 n. (Calm)人名；(法、德)卡尔姆
- Sorbonne n. 索邦神学院(巴黎大学的前身),巴黎大学
- gaza n. 加沙（地中海岸港市）
- pericardial adj. [解剖] 心包的；围心的
- Jacko n. (Jacko)人名；(塞、捷)亚茨科
- coalmine n. 煤坑，竖井，煤矿
- arbor n. [植] 乔木；凉亭；藤架 n. (Arbor)人名；(英)阿伯
- rollover n. 翻转；（车）翻覆；延期付款
- jolting n. 震动；震压造型 v. 震动；颠簸（jolt的ing形式）；慌乱
- regionalize vt. 使地区化；分成地区，按地区安排
- bund n. 堤岸；码头；同盟 n. (Bund)人名；(德)邦德；(匈)本德
- choir n. 唱诗班；合唱队；舞蹈队 vt. 合唱 vi. 合唱
- clarinettist 单簧管或竖笛吹奏者 吹木箫者 单簧管手
- rehashing n. [数] 重散列；重杂凑 v. 改作；再处理（rehash的ing形式）
- swelling n. 肿胀；膨胀；增大；涨水 v. 肿胀；膨胀；增多；趾高气扬（swell的ing形式） adj. 膨胀的；肿大的；突起的
- overexposure n. 感光过度；[摄] 曝光过度
- middle-aged adj. 中年的；具有中年人特点的；适合于中年人的
- potash n. [无化] 碳酸钾；草碱；苛性钾；钾化合物 n. (Potash)人名；(英)波塔什
- briefing n. 简报；作战指示 v. 概述；作…的摘要（brief的现在分词）
- bunt n. 短打；推；顶撞 n. (Bunt)人名；(英)邦特 vt. 短打；顶撞
